Constraint programming for air traffic management: a survey

Constraint programming for air traffic management: a survey - In memory of Pascal Brisset

Air traffic management (ATM) under its current paradigm is reaching its structural limits considering the continuously growing demand. The need for a decrease in traffic workload opens numerous problems for optimization, from capacity balancing to conflict solving, using many different degrees of freedom, such as re-routing, flight-level changes, or ground-holding schemes. These problems are us...

Contingency plans for air traffic flow and capacity management using constraint programming

We present a constraint-based local search heuristic that contributes to solving the problem of generating contingency plans for air traffic flow and capacity management, which are to be used in the case of a catastrophic infrastructure failure within EUROCONTROL, the European Organisation for the Safety of Air Navigation. Experiments with the heuristic, implemented in Comet, on real-world flig...

Constraint Logic Programming: A Survey

D Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic descrip...

A Market for Air Traffic Flow Management

The two somewhat conflicting requirements of efficiency and fairness make ATFM an unsatisfactorily solved problem, despite its overwhelming importance. In this paper, we present an economics motivated solution that is based on the notion of a free market. Our contention is that in fact the airlines themselves are the best judge of how to achieve efficiency and our market-based solution gives th...

Temporal Reasoning and Constraint Programming a Survey